More from this Author

Integrated Formal Methods

by Michael Butler (Editor), Luigia Petre (Editor), Kaisa Sere (Editor)

Program Development by Refinement

by Emil Sekerinski (Editor), Kaisa Sere (Editor)